theory of programming languages造句

Lambda calculus has played an important role in the development of the theory of programming languages.
Mairson's contributions to the theory of programming languages include proving that type inference for the non-elementary.
In the 1930s, a new type of expressions, called lambda expressions, were introduced by Alonzo Church and Stephen Kleene for formalizing theory of programming languages.
Professor McAllester's research areas include machine learning theory, the theory of programming languages, automated reasoning, AI planning, computer game playing ( computer chess ), and computational linguistics.
It's difficult to find theory of programming languages in a sentence. 用theory of programming languages造句挺难的